Concurrency control - PDFSEARCH.IO - Document Search Engine

Concurrency control
Results: 1488

#	Item
211	Bulk File I/O Extensions to Java Dan Bonachea EECS Department University of California, Berkeley Berkeley, CA 94720, USA Add to Reading List Source URL: titanium.cs.berkeley.edu Language: English - Date: 2014-04-29 06:11:57 Computing Java platform Concurrent computing Java Asynchronous I/O Concurrency control Input/output Message Passing Interface Actor model Non-blocking I/O Thread Synchronization
212	Using Escape Analysis in Dynamic Data Race Detec3on Emma Harrington `15 Williams College How common are local accesses? Add to Reading List Source URL: dept.cs.williams.edu Language: English - Date: 2014-10-17 20:23:26 Concurrency control Software design patterns Concurrent computing Inter-process communication Lock Futures and promises Thread
213	CHAPTER 15 Concurrency Introduction In this chapter we’re going to take a look at the control of multiple execution strands Add to Reading List Source URL: lisp-book.org Language: English - Date: 2011-05-31 10:56:03
214	Composite Replicated Data Types? Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute 2 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2015-01-16 15:25:14 Data types Transaction processing Type theory Concurrency control Consistency model Eventual consistency Denotational semantics Extensible Storage Engine Primitive data type Parallel computing Type system Causal consistency
215	Outline Concurrency Control Part 2 R&G - Chapter 17 Add to Reading List Source URL: inst.eecs.berkeley.edu Language: English - Date: 2006-11-13 03:02:01
216	Integrating Concurrency Control and Energy Management in Device Drivers Kevin Klues†∓? , Vlado Handziski? , Chenyang Lu∓ , Adam Wolisz? , David Culler• , David Gay‡ , and Philip Levis† † Add to Reading List Source URL: sing.stanford.edu Language: English - Date: 2014-11-10 18:30:14 Computing Computer hardware Microcontrollers Embedded operating systems TI MSP430 TinyOS IC Serial Peripheral Interface Bus USB System on a chip Lock Sensor node
217	Characterizing Progress Properties of Concurrent Objects via Contextual Refinements Hongjin Liang1,2 , Jan Hoffmann2 , Xinyu Feng1 , and Zhong Shao2 1 University of Science and Technology of China Add to Reading List Source URL: flint.cs.yale.edu Language: English - Date: 2013-07-18 23:10:16 Concurrency control Linearizability Non-blocking algorithm Monitor Lock Deadlock Synchronization Thread Liveness
218	Transactional Memory in C++ Hans-J. Boehm Google and ISO C++ Concurrency Study Group chair Add to Reading List Source URL: www.hboehm.info Language: English - Date: 2015-08-28 00:01:08 Transaction processing Concurrency control Transactional memory Lock Linearizability Atomicity Synchronization Parallel computing Memory model Commitment ordering Software transactional memory
219	Accelerating Irregular Computations with Hardware Transactional Memory and Active Messages Maciej Besta Torsten Hoefler Add to Reading List Source URL: htor.inf.ethz.ch Language: English - Date: 2015-09-14 07:27:20 Graph theory Mathematics Computing Concurrency control Transaction processing NP-complete problems Computer memory Transactional memory Vertex Breadth-first search Graph coloring Transactional Synchronization Extensions
220	Mechanized Verification of   Fine-grained Concurrent Programs memoria software v3.qxd Ilya Sergey Add to Reading List Source URL: ilyasergey.net Language: English - Date: 2016-03-01 06:31:32 Computing Software Concurrency control Separation logic Lock Concurrency Non-blocking algorithm Concurrent computing Parallel computing Linearizability Go

UPDATE